<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html> <head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<title>GRASP demo</title>

<script type="text/javascript" src="GF.js"></script>
<script type="text/javascript" src="grasp.js"></script>
<script type="text/javascript" src="grasputil.js"></script>

<!-- The Tiny grammar -->
<script type="text/javascript" src="tiny.js"></script>
<script type="text/javascript" src="tiny_db.js"></script>
<script type="text/javascript" src="tiny_examples.js"></script>
</head>
<body onload="initialise(Tiny)">

<!-- The Phrasebook grammar
<script type="text/javascript" src="phrasebook.js"></script>
<script type="text/javascript" src="phrasebook_db.js"></script>
<script type="text/javascript" src="phrasebook_examples.js"></script>
</head>
<body onload="initialise(Phrasebook)">
-->

<h1>GRASP demo</h1>

<p>Example: <select id="example" onchange="performCommand()"></select>
</p>

<p>Language: <select id="language" onchange="performCommand()"></select>
  &nbsp; <span id="linearisation"></span>
</p>
<p><code><span id="linsource"></span></code></p>

<p><code><span id="treesource"></span></code></p>
<ul id="indentedtree"></ul>

</body> </html>
